package mac5789.sat;

import java.util.Iterator;

/**
 * Problema SAT.
 * 
 * @author lundberg
 * 
 */
public interface SatProblem extends Iterable<Integer[]> {

    String getFormat();

    int getNVariables();

    int getNClauses();

    Iterator<Integer[]> getClauses();
}
